Category of Modules and Type-Level Programming with Figurate Numbers

A piece on the intersection of figurate numbers and theory of modules, demonstrating how type-level programming unlocks new ideas for math and live coding music.